Declarative Loop Tactics for Domain-specific Optimization
نویسندگان
چکیده
منابع مشابه
Declarative Specification of Domain Specific Visual Languages
Nowadays, the model based development paradigm has gained considerable acceptance within the software development industry. This paradigm begins the development process with a precise modeling step, usually based on UML. Application source code is generated from these models using automated code generation technology. Industrial experience with model driven development shows that UML’s general ...
متن کاملGuaranteed Optimization for Domain-Specific Programming
For software engineering reasons, it is often best to provide domain-specific programming environments in the context of a generalpurpose language. In our view general-purpose languages are not yet general-purpose enough, and progress needs to be made before we can provide domain-specific languages that are both fast and safe. We outline some goals in this regard, and describe a possible implem...
متن کاملDomain-Specific Optimization Strategy for Skeleton Programs
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simply-composed skeleton program often lacks efficiency due to overheads of intermediate data structures and communications. Many studies have focused on optimizations by fusing successive skeletons to eliminate the overheads. Existing fusion transformatio...
متن کاملOn Domain-Specific Declarative Knowledge Representation and Database Languages
For knowledge acquisition and engineering tasks many logic based representations formalisms are available nowadays. However, most of them do not support the elicitation and representation of domain specific knowledge. On one hand building special systems, which supports these elicitation and representation tasks is a costly and cumbersome process. The direct implementation of inference mechanis...
متن کاملHead-tactics Optimization
Tactics are commands used to guide goal-directed proofs in interactive proof environments. This paper presents various possible sim-pliications on tactic expression and provides a justiication for these simpliications, based on a precise description of the way tactics operate. In particular, this paper introduces a class of head-oriented tactics that are especially suited for optimization. Most...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Architecture and Code Optimization
سال: 2020
ISSN: 1544-3566,1544-3973
DOI: 10.1145/3372266